аⅴ天堂中文在线网官网,国产精品一区二区久久不卡

TranslationMobile

測量工具

"check" in Chinese : n. 1.(象棋)將軍(!)，被將軍的局面。 2.(突然 ...
"tool" in Chinese : n. 1.工具，用具，器具；【機(jī)械工程】刀具；工具母機(jī) ...
"artwork checking tool" in Chinese : 版圖檢查工具
"checking" in Chinese : 產(chǎn)生裂縫; 發(fā)裂
"checking for" in Chinese : 零位調(diào)整; 正在檢查
"checking in" in Chinese : 辦理登機(jī)手續(xù); 辦理人住手續(xù); 報(bào)到; 登記入住; 登記住房; 登記住宿; ...
"checking of" in Chinese : 校核
"by tool" in Chinese : 通過刀具
"it tool" in Chinese : 信息科技工具
"tool" in Chinese : n. 1.工具，用具，器具；【機(jī)械工程】刀具；工具母機(jī) (＝machine ...
"account checking" in Chinese : 客戶對帳
"accuracy checking" in Chinese : 精度檢查
"amplitude checking" in Chinese : 幅度校驗(yàn)
"anti checking" in Chinese : 防裂
"appointment checking" in Chinese : 入職審查

Examples

Know different checking tools and find problems and solve them
熟知不同檢測工具，發(fā)現(xiàn)問題并解決問題。
The object of this paper is to verify security protocols with model checking tools
本課題的研究目的是采用模型檢驗(yàn)工具對安全協(xié)議進(jìn)行驗(yàn)證。
The accessibility checking tool is not available in visual web developer express edition
Visual web developer速成版中未提供可訪問性檢查工具。
It s always nice to send one s code through an automated checking tool - and watch it pass
發(fā)送代碼，使其通過一個自動檢查工具并看著它通過總是很不錯的。
The accessibility checking tool is not available in the microsoft visual web developer express edition
Microsoft visual web developer速成版中未提供輔助功能檢查工具。
Necessary q - check points in process and have final inspection . spc is used . necessary checking tools and testing equipments are available
生產(chǎn)過程有必要的質(zhì)量檢查點(diǎn)和最終檢驗(yàn)。使用了spc 。有必要的測量和實(shí)驗(yàn)儀器。
While these link checking tools are far from new , you may not have heard of them , or may have some tools to add to the mix or suggestions of how to use these particular tools more effectively
你可能沒有聽說過這些鏈接檢查工具，但它們已經(jīng)產(chǎn)生很久了；或者與其它工具混合使用過；或者了解使用這些工具的方法。
At last , we draw out some core modules of pems . directed by theories and methods of software reliability , we use static check tools pc - lint and splint to check those modules , and write some programs to test them
最后,抽取pems的核心模塊,應(yīng)用可靠性理論和方法,使用靜態(tài)檢測工具pc - lint和splint對這些模塊進(jìn)行檢測,開發(fā)測試程序進(jìn)行測試。
We have designed and implemented an uml - based model checking tool , uml - mc . it can verify the statecharts modeled by rational rose or i - logix rhapsody . the counter - examples will be given when system does not meet the properties
我們設(shè)計(jì)并實(shí)現(xiàn)了一個uml模型檢驗(yàn)工具uml - mc ，可以對rationalrose或i - logixrhapsody建立的statecharts模型進(jìn)行驗(yàn)證，并能在性質(zhì)不滿足時給出反例路徑。
First , this paper introduces the notation , categories and properties of security protocols , and formal methods to verify security protocols and small system model . the emphasis is the research and analysis of the principle of the model checking method . we study the mechanism and syntax of symbolic model checking tool smv , model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介紹了安全協(xié)議的概念、分類和性質(zhì)，安全協(xié)議的形式化驗(yàn)證方法，以及小系統(tǒng)模型的原理；重點(diǎn)分析和研究了符號化模型檢驗(yàn)工具smv的原理和語法及其對安全協(xié)議進(jìn)行模型檢驗(yàn)時的工作機(jī)理，而且使用smv對needham - schroeder公鑰協(xié)議和wooandlam對稱鑰協(xié)議進(jìn)行了形式化建模與模型檢驗(yàn)，發(fā)現(xiàn)了它們的安全漏洞。